|
Book details / order |
SOFTWARE TESTING: CONCEPTS AND OPERATIONS |
This book examines the principles, concepts and processes that are fundamental to the software testing function. this book is divided into five broad parts. part i introduces software testing in the broader context of software engineering and explores the qualities that testing aims to achieve or ascertain, as well as the lifecycle of software testing. part ii covers mathematical foundations of software testing, which include software specification, program correctness and verification, concepts of software dependability and a software testing taxonomy. part iii discusses test data generation, specifically, functional criteria and structural criteria. test oracle design, test driver design and test outcome analysis is covered in part iv. finally, part v surveys managerial aspects of software testing, including software metrics, software testing tools and software product line testing.
preface
acknowledgments
part i introduction to software testing
1 software engineering: a discipline like no other
1.1 a young, restless discipline
1.2 an industry under stress
1.3 large, complex products
1.4 expensive products
1.5 absence of reuse practice
1.6 fault-prone designs
1.7 paradoxical economics
1.8 chapter summary
1.9 bibliographic notes
2 software quality attributes
2.1 functional attributes
2.2 operational attributes
2.3 usability attributes
2.4 business attributes
2.5 structural attributes
2.6 chapter summary
2.7 exercises
2.8 bibliographic notes
3 a software testing lifecycle
3.1 a software engineering lifecycle
3.2 a software testing lifecycle
3.3 the v-model of software testing
3.4 chapter summary
3.5 bibliographic notes
part ii foundations of software testing
4 software specifications
4.1 principles of sound specification
4.2 relational mathematics
4.3 simple input output programs
4.4 representing specifications
4.5 ordering specifications
4.6 specification generation
4.7 specification validation
4.8 reliability versus safety
4.9 state-based systems
4.10 axiomatic representation
4.11 specification validation
4.12 chapter summary
4.13 exercises
4.14 problems
4.15 bibliographic notes
5 program correctness and verification
5.1 correctness: a definition
5.2 correctness: propositions
5.3 verification
5.4 chapter summary
5.5 exercises
5.6 problems
5.7 bibliographic notes
6 failures, errors and faults
6.1 failure, error and fault
6.2 faults and relative correctness
6.3 contingent faults and definite faults
6.4 fault management
6.5 chapter summary
6.6 exercises
6.7 problems
6.8 bibliographic notes
7 a software testing taxonomy
7.1 the trouble with hyphenated testing
7.2 a classification scheme
7.3 testing taxonomy
7.4 exercises
7.5 bibliographic notes
part iii test data generation
8 test generation concepts
8.1 test generation and target attributes
8.2 test outcomes
8.3 test generation requirements
8.4 test generation criteria
8.5 empirical adequacy assessment
8.6 chapter summary
8.7 exercises
8.8 bibliographic notes
8.9 appendix: mutation program
9 functional criteria
9.1 domain partitioning
9.2 test data generation from tabular expressions
9.3 test generation for state based systems
9.4 random test data generation
9.5 tourism as a metaphor for test data selection
9.6 chapter summary
9.7 exercises
9.8 bibliographic notes
10 structural criteria
10.1 paths and path conditions
10.2 control flow coverage
10.3 data flow coverage
10.4 fault-based test generation
10.5 chapter summary
10.6 exercises
10.7 bibliographic notes
part iv test deployment and analysis
11 test oracle design
11.1 dilemmas of oracle design
11.2 from specifications to oracles
11.3 oracles for state-based products
11.4 chapter summary
11.5 exercises
12 test driver design
12.1 selecting a specification
12.2 selecting a process
12.3 selecting a specification model
12.4 testing by symbolic execution
12.5 chapter summary
12.6 exercises
12.7 bibliographic notes
13 test outcome analysis
13.1 logical claims
13.2 stochastic claims: fault density
13.3 stochastic claims: failure probability
13.4 chapter summary
13.5 exercises
13.6 problems
13.7 bibliographic notes
part v management of software testing
14 metrics for software testing
14.1 fault proneness
14.2 fault detectability
14.3 error detectability
14.4 error maskability
14.5 failure avoidance
14.6 failure tolerance
14.7 an illustrative example
14.8 chapter summary
14.9 exercises
14.10 bibliographic notes
15 software testing tools
15.1 a classification scheme
15.2 scripting tools
15.3 record-and-replay tools
15.4 performance-testing tools
15.5 oracle design tools
15.6 exception discovery
15.7 collaborative tools
15.8 chapter summary
16 testing product lines
16.1 ple: a streamlined reuse model
16.2 testing issues
16.3 testing approaches
16.4 illustration
16.5 chapter summary
16.6 exercises
16.7 problems
16.8 bibliographic references
bibliography
index
related titles
advanced compter networks
advanced compter networks
testing computer software, 2ed
testing computer software, 2ed
build your own security lab: a field guide for networking testing, w/cd
build your own security lab: a field guide for networking testing, w/cd
security engineering, 2ed
security engineering, 2ed
software testing concepts and tools
software testing concepts and tools
principles of network and system administration, 2ed
principles of network and system administration, 2ed
Author : Ali mili, fairouz tchier
Publication : Wiley
Isbn : 9788126557561
Store book number : 107
NRS 960.00
|
|
|
|
|
|
|
|
|
|